Progressive on-the-fly test method
نویسندگان
چکیده
The development of communications systems demands testing. This paper presents a framework for testing on-the-fly, which relies on the identification of 3 types of tests and on their sequential execution. The ioco conformance relation was adopted in order to assign verdicts. A prototype tool is also presented that supports the proposed framework. This tool, named PROFYT, was developed based on the SPIN verifier and uses communicating FSMs to describe the specification. PROFYT was used to test Conference Protocol implementations on-the-fly and enabled us to conclude about the benefits of the test methodology proposed.
منابع مشابه
Durability Performance of Self Compacting Concrete Incorporating Alccofine and Fly Ash
The cost associated with the application of large volume of cement and synthetic admixtures was one of the major drawbacks of Self Compacting Concrete (SCC), which can be reduced by the use of supplementary cementitious materials (SCM). When the demand of cement reduces, the release of carbon dioxide (CO2) from cement industries will come down, which has a positive impact on global w...
متن کاملAnalysis of the causes affecting the occurrence of occupational accidents in fly-in / fly-out workers of a gas pipeline dispatching project
Introduction: Prevention of occupational accidents is of a great importance. Analysis of accidents and their causes could prevent the accidents recurrence. The study objective was to investigate the causes of occupational accidents in a dispatching project. Material and method: This research is descriptive-analytic. Data were extracted from the reports of occupational near-misses and accident...
متن کاملCombine Use of Fly Ash and Rice Husk Ash in Concrete to Improve its Properties (RESEARCH NOTE)
This research paper describes the study of combined effect of Fly Ash (FA) and Rice Husk Ash (RHA) on properties of concrete as partial replacement of Ordinary Portland Cement (OPC). These by-products are having high pozzolanic reactivity. In this research, the composition of mix was used with 10% RHA along with 10, 20 and 30% FA as partial replacement of cement. In this study, the compressive ...
متن کاملEffect of progressive Muscle Relaxation Training using the Demonstration Method on Depression among Nurses Working in COVID-19 Wards in Military Hospitals
Introduction: With the onset of the Covid-19 pandemic, psychological disorders, such as depression, increased in nurses, highlighting the necessity of timely and effective interventions to prevent their negative consequences. Objective: The present study aimed to determine the effect of progressive muscle relaxation training using the demonstration method on depression among nurses who are in c...
متن کاملOn-the-Fly Adaptive Subdivision Terrain
In this paper we present a method to achieve interactive rendering of smooth terrain based on coarse data. Therefore we use adaptive subdivision surfaces which are calculated on the fly by using information from the directed edge based mesh of the previously rendered frame and throwing away triangles not used any longer. This way we are able to gain fast, high quality meshes which are refined d...
متن کامل